Regular and First Order List Functions
نویسندگان
چکیده
We define two classes of functions, called regular (respectively, first-order) list functions, which manipulate objects such as lists, lists of lists, pairs of lists, lists of pairs of lists, etc. The definition is in the style of regular expressions: the functions are constructed by starting with some basic functions (e.g. projections from pairs, or head and tail operations on lists) and putting them together using four combinators (most importantly, composition of functions). Our main results are that first-order list functions are exactly the same as first-order transductions, under a suitable encoding of the inputs; and the regular list functions are exactly the same as mso-transductions.
منابع مشابه
Partial second-order subdifferentials of -prox-regular functions
Although prox-regular functions in general are nonconvex, they possess properties that one would expect to find in convex or lowerC2 functions. The class of prox-regular functions covers all convex functions, lower C2 functions and strongly amenable functions. At first, these functions have been identified in finite dimension using proximal subdifferential. Then, the definition of prox-regula...
متن کاملIntegrating the Goler Matrix Method and the List of Indicators to Specify an Efficient Alternative on Elevating the Quality of Ecological Functions of the River Borders (Case Study: Abshooran River in Kermanshah, Iran)
The purpose behind this research, which is done on the Abshooran river in Kermanshah and in the area between Delgosha bridge and wooden bridge is to develop lively and active urban centers and to elevate the quality functions of the region and the ecological conditions of the river’s border. To reach for this goal, ecological and aesthetic criteria were in use in a way that proposed alternative...
متن کاملImplicit RBF Meshless Method for the Solution of Two-dimensional Variable Order Fractional Cable Equation
In the present work, the numerical solution of two-dimensional variable-order fractional cable (VOFC) equation using meshless collocation methods with thin plate spline radial basis functions is considered. In the proposed methods, we first use two schemes of order O(τ2) for the time derivatives and then meshless approach is applied to the space component. Numerical results obtained ...
متن کاملThree New Algorithms for Regular Language Enumeration
We present new and more efficient algorithms for regular language enumeration problems. The min-word problem is to find the lexicographically minimal word of length n accepted by a given NFA, the cross-section problem is to list all words of length n accepted by an NFA in lexicographical order, and the enumeration problem is to list the first m words accepted by an NFA according to length-lexic...
متن کاملAn optimization approach to learning falling rule lists
A falling rule list is a probabilistic decision list for binary classification, consisting of a series of if-then rules with antecedents in the if clauses and probabilities of the desired outcome (“1”) in the then clauses. Just as in a regular decision list, the order of rules in a falling rule list is important – each example is classified by the first rule whose antecedent it satisfies. Unlik...
متن کامل